#!/usr/bin/env bash

# ropevm源码所在目录
export ROPEVM_ROOT=$HOME/work/ropevm


# 我修正后的jamvm 1.5.1源码所在目录
export FIXED_JAMVM_ROOT=$HOME/work/fixed-jamvm


# rope特有的java类所在目录
export ROPE_CLASSES=$ROPEVM_ROOT/classes


# 从GNU Classpath 0.97.2中摘出来的一部分，以方便修改
export MINI_CLASSPATH=$ROPEVM_ROOT/mini-classpath


export PATH=.:$ROPEVM_ROOT/debug:$ROPEVM_ROOT/tools:$FIXED_JAMVM_ROOT/debug:$PATH


# 影响ropevm运行的一些环境变量
export model=3
export log=0
export probe=0
export graph=0
export event=0
export quiet=0
export support_invoker_execute=1
export support_irrevocable=1
export support_spec_safe_native=1
export support_spec_barrier=1
export support_self_read=0
